<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<!-- saved from url=(0033)http://research.microsoft.com/pex -->
<head><link rel="StyleSheet" href="er.common.css" type="text/css" /><script src="er.common.js" type="text/javascript"> </script><link rel="StyleSheet" href="log.css" type="text/css" /><link rel="StyleSheet" href="pex.css" type="text/css" /><script src="pex.js" type="text/javascript"> </script><link rel="SHORTCUT ICON" href="favicon.ico" /><link rel="icon" href="favicon.ico" type="image/x-icon" /><title>
   Microsoft Pex Report
   </title></head><body onload="bodyOnLoad()"><div class="banner"><a href="http://research.microsoft.com/pex/wiki/WebHome.html"><img class="button" src="reportlogo.png" alt="logo" width="100" height="60" /></a></div><h2>0 fixtures,
0 explorations,
0 tests,
  0 failures
,
00:00:06.03</h2><h3><span class="toggle" id="tgID0EC" onclick="toggle('tgID0EC','ID0EC')">[+]</span> Log: 
<span class="error">1 error</span>,
    0 warning</h3><div class="closedToggle" id="ID0EC"><table id="logtable"><tr><td colspan="3"><span class="button" onclick="showAllRows('logtable')">Show All</span></td></tr><tr><th>
        Time
      </th><th>Category</th><th>
        Message
      </th></tr><tr class="message"><td><span class="time">2008-12-01 16:31:05Z</span></td><td>symbols</td><td>could not load symbols for c:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll</td></tr><tr class="message"><td><span class="time">2008-12-01 16:31:05Z</span></td><td>symbols</td><td>search path: </td></tr><tr class="error"><td><span class="toggle" id="tglsID0EDG" onclick="toggle('tglsID0EDG','lsID0EDG')">[+]</span><span class="time">2008-12-01 16:31:09Z</span></td><td>metadata</td><td><a href="http://research.microsoft.com/pex/wiki/Unexpected Failure While Loading Explorations.html">unexpected exception while loading explorations</a></td></tr><tr class="closedToggle" id="lsID0EDG"><td colspan="3"><table><tr class="odd"><td><div class="toggle"><span class="exceptionType">ArgumentException</span>: 
    <pre>System.Enum must be class or struct
Parameter name: typeUnderTest</pre><span class="hint">
        (Microsoft.ExtendedReflection)
      </span><div class="toggle"><span class="comment">paramName=
typeUnderTest
,
                </span></div></div></td></tr></table></td></tr></table></div><h3><span class="toggle" id="tgID0EH" onclick="toggle('tgID0EH','ID0EH')">[+]</span> Environment
</h3><div class="closedToggle" id="ID0EH"><table><tr><th>Name</th><th>Value</th></tr><tr class="odd"><td>Command line</td><td>"C:\Program Files\Microsoft Pex\bin\Microsoft.Pex.exe" mscorlib.dll /explorationreflectionmode:Wizard /x64failsilently</td></tr><tr class="even"><td>Machine</td><td>SURESH</td></tr><tr class="odd"><td>OS Version</td><td>Microsoft Windows NT 5.1.2600 Service Pack 3</td></tr><tr class="even"><td>Procs</td><td>2</td></tr><tr class="odd"><td>CLR</td><td>2.0.50727.1433</td></tr><tr class="even"><td>user</td><td>suresh_thummalapenta</td></tr><tr><th colspan="2">Environment Variables</th></tr><tr class="odd"><td>allusersprofile</td><td>C:\Documents and Settings\All Users</td></tr><tr class="even"><td>appdata</td><td>C:\Documents and Settings\suresh_thummalapenta\Application Data</td></tr><tr class="odd"><td>bauhaus_caseinsensitive</td><td>1</td></tr><tr class="even"><td>bauhaus_config</td><td>C:\cygwin\home\suresh_thummalapenta\RCOST\Bauhaus\config</td></tr><tr class="odd"><td>classpath</td><td>.;.;C:\PROGRA~1\JMF21~1.1E\lib\sound.jar;C:\PROGRA~1\JMF21~1.1E\lib\jmf.jar;C:\PROGRA~1\JMF21~1.1E\lib;C:\WINDOWS\wt\webdriver\wildtangent.jar;C:\WINDOWS\wt\webdriver\4.1.1\wtmulti.jar;C:\Program Files\WildTangent\Apps\DRM0302java.jar;C:\WINDOWS\wt\webdriver\wtdmmpi.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\dist\Jex-1.2.1.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\lib\antlr.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\lib\getopt.jar</td></tr><tr class="even"><td>clrmonitor_clsid</td><td>{12f0dfaa-f595-4130-878d-7cab5a6d884e}</td></tr><tr class="odd"><td>clrmonitor_flags</td><td></td></tr><tr class="even"><td>CLRMONITOR_INITIALIZED</td><td>0x11</td></tr><tr class="odd"><td>clrmonitor_inject_assemblies</td><td></td></tr><tr class="even"><td>clrmonitor_inject_namespaces</td><td></td></tr><tr class="odd"><td>clrmonitor_inject_types</td><td></td></tr><tr class="even"><td>clrmonitor_instrument_assemblies</td><td>Microsoft.VisualBasic,Microsoft.VisualStudio.QualityTools.UnitTestFramework,mscorlib</td></tr><tr class="odd"><td>clrmonitor_instrument_assemblies_exclusions</td><td></td></tr><tr class="even"><td>clrmonitor_instrument_namespaces</td><td>System.Collections,System.Collections.Generic,System.Collections.ObjectModel,System.Collections.Specialized</td></tr><tr class="odd"><td>clrmonitor_instrument_namespaces_exclusions</td><td></td></tr><tr class="even"><td>clrmonitor_instrument_types</td><td>System.Array,System.Array+ArrayEnumerator,System.Array+FunctorComparer`1,System.Array+SZArrayEnumerator,System.Array+SorterGenericArray,System.Array+SorterObjectArray,System.Boolean,System.Byte,System.Char,System.CharEnumerator,System.ComponentModel.Component,System.ComponentModel.Container,System.ComponentModel.Container+Site,System.Convert,System.Currency,System.DateTime,System.Diagnostics.Assert,System.Diagnostics.Contracts.CodeContract,System.Double,System.Globalization.CharUnicodeInfo,System.Globalization.CultureTableRecord,System.Guid,System.IO.Stream,System.IO.StringReader,System.IO.StringWriter,System.Int16,System.Int32,System.Int64,System.Math,System.Nullable,System.Nullable`1,System.SByte,System.SZArrayHelper,System.SZArrayHelper+SZGenericArrayEnumerator`1,System.Single,System.String,System.Text.Encoding,System.TimeSpan,System.UInt16,System.UInt32,System.UInt64,System.Xml.XmlTextWriter,System.Xml.XmlTextWriter+Namespace,System.Xml.XmlTextWriter+NamespaceState,System.Xml.XmlTextWriter+SpecialAttr,System.Xml.XmlTextWriter+State,System.Xml.XmlTextWriter+TagInfo,System.Xml.XmlTextWriter+Token,System.Xml.XmlWriter,__Box`1,__SzArrayHelper`1</td></tr><tr class="odd"><td>clrmonitor_instrument_types_exclusions</td><td></td></tr><tr class="even"><td>clrmonitor_protect_all_cctors</td><td>1</td></tr><tr class="odd"><td>clrmonitor_substitutions</td><td>C:\WINDOWS\assembly\GAC_MSIL\Microsoft.ExtendedReflection\0.8.31021.3__76a274db078248c8\Microsoft.ExtendedReflection.dll</td></tr><tr class="even"><td>commonprogramfiles</td><td>C:\Program Files\Common Files</td></tr><tr class="odd"><td>computername</td><td>SURESH</td></tr><tr class="even"><td>comspec</td><td>C:\WINDOWS\system32\cmd.exe</td></tr><tr class="odd"><td>cor_profiler</td><td>{12f0dfaa-f595-4130-878d-7cab5a6d884e}</td></tr><tr class="even"><td>fp_no_host_check</td><td>NO</td></tr><tr class="odd"><td>homedrive</td><td>C:</td></tr><tr class="even"><td>homepath</td><td>\Documents and Settings\suresh_thummalapenta</td></tr><tr class="odd"><td>java_home</td><td>C:\Program Files\Java\jdk1.5.0_10</td></tr><tr class="even"><td>jpf_home</td><td>C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\javapathfinder-trunk</td></tr><tr class="odd"><td>logonserver</td><td>\\SURESH</td></tr><tr class="even"><td>minebugs_path</td><td>C:\MineBugs</td></tr><tr class="odd"><td>number_of_processors</td><td>2</td></tr><tr class="even"><td>os</td><td>Windows_NT</td></tr><tr class="odd"><td>parseweb_path</td><td>c:\PARSEWeb</td></tr><tr class="even"><td>path</td><td>C:\Program Files\Java\jdk1.5.0_10\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\Program Files\SAS\SAS 9.1\tmine\sasexe;C:\Program Files\MiKTeX 2.6\miktex\bin;C:\PARSEWeb;C:\cygwin\home\suresh_thummalapenta\cvcl2-exe;C:\cygwin\home\oc-exe;C:\Perl\site\bin;C:\Perl\bin;C:\Program Files\Java\jdk1.5.0_10\bin;C:\Program Files\Microsoft SQL Server\80\Tools\Binn\;C:\PROGRA~1\F-Secure\Ssh;"C:\Program Files\EditPlus 2";c:\Program Files\Microsoft SQL Server\90\Tools\binn\;C:\Program Files\Microsoft Pex\bin\;C:\Suresh\Softwares\apache-ant-1.7.1\bin;C:\Program Files\QuickTime\QTSystem\;C:\Program Files\NCover\;C:\Program Files\NModel\bin;C:\Program Files\Java\jdk1.5.0_10\bin;C:\cygwin\home\suresh_thummalapenta\RCOST\Bauhaus\bin;C:\Suresh\Softwares\apache-ant-1.7.1\bin;c:\Program Files\NModel\bin;C:\Program Files\Common Files\Ahead\Lib\</td></tr><tr class="odd"><td>pathext</td><td>.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH</td></tr><tr class="even"><td>pex_instrumentation</td><td>1</td></tr><tr class="odd"><td>processor_architecture</td><td>x86</td></tr><tr class="even"><td>processor_identifier</td><td>x86 Family 6 Model 14 Stepping 8, GenuineIntel</td></tr><tr class="odd"><td>processor_level</td><td>6</td></tr><tr class="even"><td>processor_revision</td><td>0e08</td></tr><tr class="odd"><td>programfiles</td><td>C:\Program Files</td></tr><tr class="even"><td>prompt</td><td>$P$G</td></tr><tr class="odd"><td>qtjava</td><td>C:\Program Files\Java\jre1.6.0_05\lib\ext\QTJava.zip</td></tr><tr class="even"><td>rc_path</td><td>C:\RepositoryCreator</td></tr><tr class="odd"><td>sessionname</td><td>Console</td></tr><tr class="even"><td>systemdrive</td><td>C:</td></tr><tr class="odd"><td>systemroot</td><td>C:\WINDOWS</td></tr><tr class="even"><td>temp</td><td>C:\DOCUME~1\SURESH~1\LOCALS~1\Temp</td></tr><tr class="odd"><td>tmp</td><td>C:\DOCUME~1\SURESH~1\LOCALS~1\Temp</td></tr><tr class="even"><td>userdomain</td><td>SURESH</td></tr><tr class="odd"><td>username</td><td>suresh_thummalapenta</td></tr><tr class="even"><td>userprofile</td><td>C:\Documents and Settings\suresh_thummalapenta</td></tr><tr class="odd"><td>vs90comntools</td><td>c:\Program Files\Microsoft Visual Studio 9.0\Common7\Tools\</td></tr><tr class="even"><td>windir</td><td>C:\WINDOWS</td></tr><tr class="odd"><td>xweb_path</td><td>c:\xweb</td></tr></table></div><hr /><table width="100%"><tr><td valign="top"><span class="copyright">Copyright (c) Microsoft Corporation. All rights reserved.</span><br /><span class="button" onclick="copySourceToClipboard()">Copy full source to clipboard</span><span class="hint">|</span><a class="smallbutton" href="http://research.microsoft.com/pex/wiki/Creating A Stand Alone Repro.html">How to create a stand alone repro</a></td><td align="right" valign="top"><span class="copyright">
            Pex v0.8.31021.3.
          </span><br /></td></tr></table><div id="debugdiv"> </div></body></html>